|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
|
d-Frames as algebraic duals of bitopological spaces
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Picado, Jorge (oponent) ; Cintula, Petr (oponent)
Achim Jung a Drew Moshier vyvinuli dualitu pro bitopologické prostory podobnou Stoneově dualitě čímž, mimo jiné, získali praktický nástroj k vyřešení konkrétího problému v teorii stabilně kompaktních prostorů. Tímto také objevili že tato dualita mezi bitopologickými prostory a jejich algebraickými protějšky, zvanými d-framy, zahrnuje i další známé duality. Cílem této práce je vzít práci Junga a Moshiera a doplnit některé z chybějících aspektů je- jich teorie. Konkrétně, prozkoumáme základní kategorické vlastnosti d-framů, vyvineme takovou Vietorisovu konstrukci pro d-framy, že zobecníme příslušné Vietorisovy konstrukce v dalších kat- egoriích, a prozkoumáme spojitosti mezi bitopologickými prostory a parakonzistentní logikou a poté vyvineme vhodnou (geometrickou) logiku pro d-framy.
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
|
|
Some point-free aspects of connectedness
Jakl, Tomáš ; Pultr, Aleš (vedoucí práce) ; Fiala, Jiří (oponent)
V této práci ukážeme Stoneovu větu o reprezentaci, která je také známa pod názvem Stoneova dualita, v bezbodovém kontextu. Předvedený důkaz je bezvýběrový, a protože se nemusíme starat o jednotlivé body, je mnohem jednodušší než původní důkaz. Ukážeme, že pro každý nekonečný kardinál κ jsou protějšky κ-úplných Booleových algebrer κ-bazicky nesouvislé Stoneovy framy. Také předvedeme přesnou charakterizaci morfismů, které jsou v ko- responenci s κ-úplnými Booleovskými homomorfismy. Ikdyž Booleanizace není obecně funktoriální, v části duality extremálně nesouvislých Stoneových framů funktoriální je a dokonce tvoří ekvivalenci kategorií. Na konci práce se zaměříme na De Morganovské (respektive extremálně nesouvislé) framy a ukážeme jejich novou charakterizaci pomocí jejich superhustých sublokálů. Naproti tomu jsou metrizovatelné framy, které nemají žádný netriviální su- perhustý sublokál, a proto nikdy není jejich netriviální Čech-Stoneova kom- paktifikace metrizovatelná. 1
|
host ::
RSS.